Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
471	Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework Edison Mera1 Pedro Lopez-Garc´ıa2,3 Manuel Hermenegildo2,4 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-05-02 02:18:06 Logic in computer science Assertion Debugging Postcondition Prolog Unit testing Predicate Rust Scheme Software engineering Computer programming Theoretical computer science
472	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
473	Specifying Crash Safety for Storage Systems Haogang Chen, Daniel Ziegler, Adam Chlipala, M. Frans Kaashoek, Eddie Kohler,† Nickolai Zeldovich MIT CSAIL and † Harvard University 1 Add to Reading List Source URL: people.csail.mit.edu Language: English Disk file systems File system Ext3 Kernel Formal verification Linux kernel KeY XFS Btrfs Computing Software System software
474	A Fully Verified Container Library? Nadia Polikarpova1?? , Julian Tschannen2 , and Carlo A. Furia2 1 MIT CSAIL, USA Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2015-04-16 04:52:13 Computing Theoretical computer science Logic in computer science Hardware verification languages Formal verification Eiffel Functional verification E Software verification Software engineering Object-oriented programming Formal methods
475	Journal of Universal Computer Science, vol. 15, no), submitted: , accepted: , appeared: 1/7/09 © J.UCS On the Semantics and Verification of Normative Multi-Agent Systems L˘ Add to Reading List Source URL: www.jucs.org Language: English - Date: 2010-11-24 10:39:58 Logic programming Predicate logic Propositional calculus Clause J Norm Reason Operational semantics Brute fact Software engineering Computing Computer programming
476	UPExchange Sell Sheet.indd Add to Reading List Source URL: info.byetm.com Language: English - Date: 2015-05-25 05:06:17 Squatting United States Postal Service Spreadsheet Postal address verification Microsoft Excel Software Address Postal system Lost mislaid and abandoned property Personal property law
477	Busitech QW 5.0 versionApril 20, 2006 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2009-07-31 13:52:32 Clinical research Quality Validation Software Dynamic-link library Software testing Verification and validation Windows Registry Computing Pharmaceutical industry Validity System software
478	Busitech QW 5.0 versionMay 24, 2011 Add to Reading List Source URL: www.qwsoftware.com Language: English - Date: 2011-05-24 14:09:17 Software testing System software Software Windows Registry Verification and validation Windows Script Host
479	Senior Design Documentation Library Add to Reading List Source URL: www.bradsproject.com Language: English - Date: 2012-07-11 01:09:07 Software quality Evaluation System testing Verification V-Model Software testing Software development Test plan
480	CALIFORNIA STATE SCIENCE FAIR 2015 PROJECT SUMMARY Name(s) Project Number Add to Reading List Source URL: www.usc.edu Language: English - Date: 2015-03-31 12:08:04 Device driver Software Prototype Operating system Firmware System software Computing Device driver synthesis and verification Open-source hardware Technology Embedded system Google Chrome OS

UPDATE